Dualities for modal N4-lattices
نویسندگان
چکیده
We introduce a new Priestley-style topological duality for N4-lattices, which are the algebraic counterpart of paraconsistent Nelson logic. Our duality differs from the existing one, due to S. Odintsov, in that we only rely on Esakia duality for Heyting algebras and not on the duality for De Morgan algebras of Cornish and Fowler. A major advantage of our approach is that we obtain a simple description for our topological structures, which allows us to extend the duality to other algebraic structures such as N4-lattices with monotonic modal operators, and also to provide a neighborhood semantics for the non-normal modal logic corresponding to these algebras.
منابع مشابه
Priestley duality for (modal) N4-lattices
N4-lattices are the algebraic semantics of paraconsistent Nelson logic, which was introduced in [1] as an inconsistency-tolerant counterpart of the better-known logic of Nelson [7, 13]. Paraconsistent Nelson logic combines interesting features of intuitionistic, classical and many-valued logics (e.g., Belnap-Dunn four-valued logic); recent work has shown that it can also be seen as one member o...
متن کاملPriestley duality for N4-lattices
We present a new Priestley-style topological duality for bounded N4-lattices, which are the algebraic counterpart of paraconsistent Nelson logic. Our duality differs from the existing one, due to Odintsov, in that we only rely on Esakia duality for Heyting algebras and not on the duality for De Morgan algebras of Cornish and Fowler. A major advantage of our approach is that for our topological ...
متن کاملDualities for Algebras of Fitting's Many-Valued Modal Logics
Stone-type duality connects logic, algebra, and topology in both conceptual and technical senses. This paper is intended to be a demonstration of this slogan. In this paper we focus on some versions of Fitting’s L-valued logic and L-valued modal logic for a finite distributive lattice L. Using the theory of natural dualities, we first obtain a duality for algebras of L-valued logic. Based on th...
متن کاملModal compact Hausdorff spaces
We introduce modal compact Hausdorff spaces as generalizations of modal spaces, and show these are coalgebras for the Vietoris functor on compact Hausdorff spaces. Modal compact regular frames and modal de Vries algebras are introduced as algebraic counterparts of modal compact Hausdorff spaces, and dualities are given for the categories involved. These extend the familiar Isbell and de Vries d...
متن کاملOPTIMAL NATURAL DUALITIES FOR SOME QUASIVARIETIES OF DISTRIBUTIVE DOUBLE p–ALGEBRAS
Quasivarieties of distributive double p-algebras generated by an ordinal sum M of two Boolean lattices are considered. Globally minimal failsets within S(M2) are completely determined; from them all the optimal dualities for these quasivarieties are obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 22 شماره
صفحات -
تاریخ انتشار 2014